大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Information and Automation [electronic resource] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers

0
索取号：
作者：Qi、 Luo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Abdulla、 Parosh Aziz.、Leino、 K. Rustan M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

0
索取号：
作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Engineering of Software [electronic resource] : The Continuing Contributions of Leon J. Osterweil

0
索取号：
作者：Tarr、 Peri L.、Wolf、 Alexander L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Giannakopoulou、 Dimitra.、Orejas、 Fernando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Hofmann、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Architecture [electronic resource] : A Comprehensive Framework and Guide for Practitioners

0
索取号：
作者：Vogel、 Oliver.、Arnold、 Ingo.、Chughtai、 Arif.、Kehrer、 Timo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Barthe、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mathematical Image Processing [electronic resource] : University of Orl茅ans, France, March 29th - April 1st, 2010

0
索取号：
作者：Bergounioux、 Ma茂tine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

0
索取号：
作者：Barner、 Sharon.、Harris、 Ian.、Kroening、 Daniel.、Raz、 Orna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Combinatorial Aspects of Commutative Algebra and Algebraic Geometry [electronic resource] : The Abel Symposium 2009

0
索取号：
作者：Fl酶ystad、 Gunnar.、Johnsen、 Trygve.、Knutsen、 Andreas Leopold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings

0
索取号：
作者：Koch、 Andreas.、Krishnamurthy、 Ram.、McAllister、 John.、Woods、 Roger.、El-Ghazawi、 Tarek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Robotics Research [electronic resource] : The 14th International Symposium ISRR

0
索取号：
作者：Pradalier、 C茅dric.、Siegwart、 Roland.、Hirzinger、 Gerhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Language Engineering [electronic resource] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

0
索取号：
作者：Malloy、 Brian.、Staab、 Steffen.、Brand、 Mark.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

From Varying Couplings to Fundamental Physics [electronic resource] : Proceedings of Symposium 1 of JENAM 2010

0
索取号：
作者：Martins、 Carlos.、Molaro、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

New Frontiers in Information and Software as Services [electronic resource] : Service and Application Design Challenges in the Cloud

0
索取号：
作者：Agrawal、 Divyakant.、Candan、 K. Sel莽uk.、Li、 Wen-Syan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.